Constructing Correct Software (Formal Approaches to Computing & Information Technology)
by D. John Cooke
ISBN 13: 9781852338206
Format: Paperback (509 pages) Publisher: Springer Published: 08 Nov 2004
Save for later